// 从 一个类型 创建 另一个类型 的过程 叫做 类型操作
// 别人说的 ts类型体操 就是在 根据 基础类型 写出 精确复杂的类型，就是类型操作
// 所以类型操作学完了，就可以去做类型体操了